“数学天才”陶哲轩也爱上 GPT-4:节省了大量繁琐工作
由 ChatGPT 掀起的 AI 热潮,在经过 GPT-4 的震撼发布后,又被推至新的巅峰——不仅引起业界无数人的关注,如今还“出圈”成为了数学天才陶哲轩喜爱的 AI 工具之一。
本周,陶哲轩在开源社交平台 Mastodon 上发文:“今天,我可以明确地说:GPT-4 确实为我节省了大量繁琐的工作。”
将 AI 工具纳入工作流程
事实上,早在一个多月前陶哲轩就开始摸索 ChatGPT 的各种用法了,但当时他对这类 AI 工具的评价还比较保守:“虽不能直接帮我攻克未解决的数学问题,但处理一些相关工作时还挺有用。”
陶哲轩最早决定将 AI 工具纳入其日常工作中,是在 3 月 5 日:“我决定有意识地尝试不同方式,将 AI 工具(如 DeepL、ChatGPT 等)纳入我的工作流程。”
以 DeepL 为例,陶哲轩曾将推荐信中的一些段落上传至 DeepL 以作优化,最终他同意并采纳了 DeepL 近一半的建议,另一半则因不符合他的个人风格而被忽视。基于此,陶哲轩指出:“我认为盲目地用 DeepL 生成的方案替换原始段落并不是一种改进,但将其用来生成优化建议颇有成效。”
至于在使用 ChatGPT 的过程中,陶哲轩更是陆续挖掘出了许多“隐藏功能”:
▶ 在描述各种语言中专有名词的推荐发音方面表现良好(明显优于传统搜索引擎),还不需要语音知识。
▶ 可将从 MathSciNet 获得的参考文献格式,转换为 LaTeX 参考书目环境中的 \bibitems,且后续会自动进行转换。
▶ 很擅长解析代码格式的文档,然后返回一个正确格式的代码查询。
▶ 要求 ChatGPT 例举一些优秀学生可能会在本科线性代数课上提出的问题,它能给出一些很好的例子。“这激发了我对课程方向的更多想法,以及有关作业的一些潜在问题。”
因此,将 AI 工具融入工作中近半个月后,陶哲轩在 3 月 19 日总结道:“总的来说,我发现这些 AI 工具虽然不能直接帮我完成核心任务,但对各种相关工作而言还是很有用的(尽管通常还会进行一些手动调整)。”
期待将 AI 集成到各种软件工具中
值得一提的是,本月初陶哲轩还意外发现了使用 AI 工具的另一个功能,即某种程度上遵循了坎宁安定律(指人们纠正错误答案要比回答问题更快):
很多次我要求 GPT 为某些任务提供一些文本,但对其输出不满意,于是便刺激我写了一些更符合我喜好的内容。可能我只会从 GPT 生成的文本中借用一两句话,但如果没有最初的文本作为提示,我应该不会受到启发并激励自己写出新版本。
同样,我最近需要联系某个非数学领域的专家,于是我首先问了附近地区的一位同事,他一开始没想到任何建议。然后我就问了 GPT,它提供了几个名字,其中有一个看起来特别合适。然而当我把这个名字告诉我同事时,他立即觉得这不是一个合适的人选,并迅速提出了其他四五个相当合适的名字。
到了本周,让陶哲轩进一步“爱”上 GPT-4 的契机,在于他最近要忙的工作:“作为 ICM 结构委员会主席,我需要收集上一届 ICM 上发言人(约 200 名)的各种统计数据。”
据陶哲轩介绍,这些原始数据不是以电子表格形式、而是以网页和 PDF 格式的一些表格形式提供给他的。过去,陶哲轩一直都是“认命”地先把数据手动输入电子表格,然后查找各种表格函数,找出如何准确计算出所需数据的方法:“这是一项乏味的任务。”
但如今已将 AI 工具纳入工作流程的陶哲轩,机智地将这个工作丢给了 GPT-4 来处理:“这两项任务用 GPT-4 几分钟内就能轻松完成,过程甚至还有些令人愉快(唯一乏味的地方是在原始数据、GPT-4 和电子表格之间进行剪切和粘贴)。”
使用 GPT-4 所带来的效率提升,令陶哲轩感慨道:“我现在期待着将 AI 集成到我使用的各种软件工具中,这样就连剪切和粘贴的步骤都可以省略了。(如果能够自动解决 90% 的 LaTeX 编译问题就太棒了……)”
网友:“这种事情他没有助手吗?”
令陶哲轩也折服的 GPT-4,今日在 HackerNews 上也引起了不少讨论。
部分网友对陶哲轩的评价深有同感:“我昨天自己第一次使用 GPT-3。本来我想要一些代码来列出我可用的 DynamoDB 表,但总出现错误,于是我问 ChatGPT 要修复该错误,它立刻告诉我如何更新我的设置 .xml 文件。当然,不问我也知道如何做,但这可能需要半小时,而使用 ChatGPT 大约需要 5 分钟。”
但也有许多网友对陶哲轩用 GPT-4 处理的工作感到意外:“他是目前全球顶尖的数学家之一,还要花时间整理会议统计数据吗?这种事情他没有助手吗?”
参考链接:
https://mathstodon.xyz/@tao/110172426733603359
https://news.ycombinator.com/item?id=35538945
☞淘宝天猫重组换血,原核心高管离职;Google Bard 大更新,数学和逻辑能力有所提升;K8s 1.27 发布|极客头条 ☞GPT-4 让 Python 程序实现自修复 Bug,国外小哥将工具命名为“金刚狼”,并开源!
☞让你的类ChatGPT千亿大模型提速省钱15倍,微软开源 DeepSpeed-Chat